The Knowability Paradox: does logic come before metaphysics?
نویسندگان
چکیده
The Knowability Paradox is a logical argument which states that if all truths are knowable, then all truths are actually known. In 1963 Frederich Fitch published ‘A Logical Analysis of Some Value Concepts’[3]. This brief article appeared on the Journal of Symbolic Logic and it immediately became a classic of philosophical logic. It is in this paper that Fitch presented the Knowability Paradox, whose contrapositive asserts that if there is an unknown truth, then there is a truth that can’t possibly be known. Fitch’s proof has been used to criticize the anti-realist position according to all the truths are knowable. Because we are not omniscient, individually and collectively, we are committed to conclude that it’s false that all truths are knowable.
منابع مشابه
The Church-Fitch knowability paradox in the light of structural proof theory
Anti-realist epistemic conceptions of truth imply what is called the knowability principle: All truths are possibly known. The principle can be formalized in a bimodal propositional logic, with an alethic modality ♦ and an epistemic modality K, by the axiom scheme A ⊃ ♦KA (KP). The use of classical logic and minimal assumptions about the two modalities lead to the paradoxical conclusion that al...
متن کاملKnowability and a Modal Closure Principle
Does a factive conception of knowability figure in ordinary use? There is some reason to think so. 'Knowable' and related terms such as 'discoverable', 'observable', and 'verifiable' all seem to operate factively in ordinary discourse. Consider the following example, a dialog between colleagues A and B: A: We could be discovered. B: Discovered doing what? A: Someone might discover that we're ha...
متن کاملThe Knowability Paradox in the light of a Logic for Pragmatics
The Knowability Paradox is a logical argument showing that if all truths are knowable in principle, then all truths are, in fact, known. Many strategies have been suggested in order to avoid the paradoxical conclusion. A family of solutions – called logical revision – has been proposed to solve the paradox, revising the logic underneath, with an intuitionistic revision included. In this paper, ...
متن کاملTR-2010008: Knowability from a Logical Point of View
The well-known Church-Fitch paradox shows that the verificationist knowability principle all truths are knowable, yields an unacceptable omniscience property. Our semantic analysis establishes that the knowability principle fails because it misses the stability assumption ‘the proposition in question does not change from true to false in the process of discovery,’ hidden in the verificationist ...
متن کاملA Classical Solution to the Paradox of Knowability *
After introducing semantic anti-realism and the paradox of knowability, the paper offers a reconstruction of the anti-realist argument from understanding. The proposed reconstruction validates an unrestricted principle to the effect that truth requires the existence of a certain kind of “demonstration”. The paper shows that that principle fails to imply the problematic instances of the original...
متن کامل